A Modal Specification Theory for Components with Data
نویسندگان
چکیده
Modal specification is a well-known formalism used as an abstraction theory for transition systems. Modal specifications are transition systems equipped with two types of transitions: must-transitions that are mandatory to any implementation, and maytransitions that are optional. The duality of transitions allows for developing a unique approach for both logical and structural compositions, and eases the step-wise refinement process for building implementations. We propose Modal Specifications with Data (MSDs), the first modal specification theory with explicit representation of data. Our new theory includes the most commonly seen ingredients of a specification theory; that is parallel composition, conjunction and quotient. As MSDs are by nature potentially infinite-state systems, we propose symbolic representations based on effective predicates. Our theory serves as a new abstraction-based formalism for transition systems with data.
منابع مشابه
Modal specification theories for component-based design
Component-based software engineering has emerged as an important software engineering discipline to cope with the growing complexity of today’s software systems. Components are encapsulated software units with well-defined interfaces. A key principle of component-based development is to build larger systems by composition of smaller, less complex components. An important application area concer...
متن کاملA Modal Interface Theory with Data Constraints
For the design of component-based software, the behavioral specification of component interfaces is crucial. We propose an extension of the theory of modal I/O-transition systems by Larsen et al. to cope with both control flow and data states of reactive components at the same time. In our framework, transitions model incoming or outgoing operation calls which are constrained by preand postcond...
متن کاملTransverse Sensing of Simply Supported Truncated Conical Shells
Modal signals of transverse sensing of truncated conical shells with simply supported boundary condition at both ends are investigated. The embedded piezoelectric layer on the surface of conical shell is used as sensors and output voltages of them in considered modes are calculated. The Governing sensing signal displacement equations are derived based on the Kirchhoff theory, thin-shell assumpt...
متن کاملA Zigzag Theory with Local Shear Correction Factors for Semi-Analytical Bending Modal Analysis of Functionally Graded Viscoelastic Circular Sandwich Plates
Free bending vibration analysis of the functionally graded viscoelastic circular sandwich plates is accomplished in the present paper, for the first time. Furthermore, local shear corrections factors are presented that may consider simultaneous effects of the gradual variations of the material properties and the viscoelastic behaviors of the materials, for the first time. Moreover, in contrast ...
متن کاملOutput-only Modal Analysis of a Beam Via Frequency Domain Decomposition Method Using Noisy Data
The output data from a structure is the building block for output-only modal analysis. The structure response in the output data, however, is usually contaminated with noise. Naturally, the success of output-only methods in determining the modal parameters of a structure depends on noise level. In this paper, the possibility and accuracy of identifying the modal parameters of a simply supported...
متن کامل